 |
Your search returned 9 records. Click on the hyperlinks to view further details of Titles.. |
|
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1999 Volume number : 25 Issue: 02 |
Structured Solution Of Asynchronously Communicating Stochastic Modules
(Article)
Subject:
Petri Net Models
,
Performance Analysis
,
Structural Decomposition
Author:
Javier
Campos
Manuel
Silva
Susanna
Donatelli
page:
147
-
165
Hirarchical Structuring Of Superposed Gspns
(Article)
Subject:
Superposed Gspns
,
Numerical Analysis
,
Reachability Analysis
Author:
Peter
Buchholz
page:
166
-
181
Transient Analysis Of Superposed Gspns
(Article)
Subject:
Stochastic Petri Net Models
,
Markov Chain
,
Kronecker Product
Author:
Peter
Kemper
page:
182
-
193
A Fourth-Order Algorithm With Automatic Stepsize Control For The Transient Analysis Dspns
(Article)
Subject:
Adaptive Numerical Method
,
Transient Analysis
,
Deterministic Sampling
Author:
Armin
Heindl
Reinhard
German
page:
194
-
206
Discrete-Event Simulation Of Fluid Stochastic Petri Nets
(Article)
Subject:
Discrete-Event Simulation
,
Stochastic Petri Net Models
Author:
Gianfranco
Ciardo
D. G
Nicol
page:
207
-
217
Estimation Methods For Nonregenerative Stochastic Petri Nets
(Article)
Subject:
Stochastic Simulation
,
Stochastic Petri Net Models
,
Markov Chain
Author:
Peter J.
Haas
page:
218
-
236\
Adaptive Time Warp Simulation Of Timed Petri Nets
(Article)
Subject:
Distributed
,
Optimisation
,
Petri Net
Author:
Alois
Ferscha
page:
237
-
257
A Decomposition Of A Formal Specification An Improved Constraint-Oriented Method
(Article)
Subject:
Formal Specification
,
Decomposition
,
Lotos
Author:
Kentaro
Go
Norio
Shiratori
page:
258
-
273
Consistency Issues In Distributed Checkpoints
(Article)
Subject:
Checkpoint
,
Consistency
,
Strong Ties
Author:
J
Helary
Robert H. B.
Netzer
page:
274
-
281
|
|
| | |
